fun foo(a: Boolean, b: Boolean) : Boolean {
    return !<caret>(a && !b)
}